O-plan Tasking Speciication O-plan Tasking Speciication
نویسندگان
چکیده
منابع مشابه
Implementation of Distributed Real-time Speciications in Ada95
The implementation phase of the software development process requires techniques for the transformation of a design speciication into software. Although timing analysis of real-time software has got much attention the implementation of design speciicati-ons is hardly addressed. In this paper we report on our work on deening mappings for design speciications of real-time distributed control syst...
متن کاملSpecifying the PLAN Network Programming Langauge
We discuss how the speciication of the PLAN programming language supports the design objectives of the language. The speciication aims to provide a mathematically precise operational semantics that can serve as a standard for implementing interpreters and portable programs. The semantics should also support proofs of key properties of PLAN that would hold of all conformant implementations. This...
متن کاملHoots99 Preliminary Version Specifying the Plan Network Programming Langauge
We discuss how the speciication of the PLAN programming language supports the design objectives of the language. The speciication aims to provide a mathematically precise operational semantics that can serve as a standard for implementing interpreters and portable programs. The semantics should also support proofs of key properties of PLAN that would hold of all conformant implementations. This...
متن کاملA Conceptual Model for High-level Speciication of Behaviour-based Agents
We have developed a formally speciied conceptual framework for the modelling of a behaviour-based agent from a deliberative stance. This framework is referred to as the Intentional Deliberation Framework. Beliefs, goals, actions , plans and preferences on plans are deened as concepts within the framework. Choice of what to do next is deened in terms of these concepts. The framework is deened us...
متن کاملFormal Speciication of a Dynamically Conngurable Distributed System Formal Speciication of a Dynamically Conngurable Distributed System
The Programmers' Playground is a programming environment that supports end-user construction of distributed multimedia applications. The system implements a new programming model that is based, in part, upon ideas from the formal I/O automaton model of Lynch and Tuttle. Important features of The Programmers' Playground are a separation of communication and computation and graphical support for ...
متن کامل